Section: Dissemination

Promoting Scientific Activities

• Rodolphe Lepigre gave an invited talk entitled “The PML Language: Realizability at the Service of Program Proofs” at the Realizability Workshop (12-13 June 2018) in Luminy.

• Rodolphe Lepigre gave an invited talk entitled “An Overview of the PML${}_2$ Language: Realizability, Subtyping and Cyclic Proofs” at LRI, for the starting days of the new Scalp working group of GDR IM. This is a presentation of his paper  [32].

• Gilles Dowek has given an invited talk at NFM (Nasa Formal Methods).

• Jean-Pierre Jouannaud has given an invited talk at the workshop "Rewriting Techniques for Program Transformation and Evaluation" at FLoC, on July 8, 2018.

• Gilles Dowek has participated to the meeting "From Information to Cells" organized by Hélène Kirchner and Antoine Danchin. He has given a talk at the National Institute of Aerospace.

• Gilles Dowek has co-organized a seminar on Logic and Philosophy at the CNFHPST.

• Guillaume Burel has presented a talk entitled “Bridging holes on Dedukti proofs, an overview” at the scientific day of the Digicosme working group UPSCaLe.

• Bruno Barras has given a talk entitled “An analysis of bindlib” at the UPSCaLe meeting (June'18) held in Palaiseau.

• Mohamed Yacine EL HADDAD has presented his work at internal laboratory seminar of LSV (June'18) and SAMOVAR (November'18).

• Gaspard Férey has presented his work at internal laboratory seminar of LSV (June'18).

• Guillaume Genestier has presented his work at the internal laboratory seminar of Centre de Recherche en Informatique of Mines ParisTech (February'18) and LSV (June'18) and presented Dedukti at the doctoral seminar of La Société Informatique de France (June'18). He presented [16] in the WorkShop on Termination (WST) at Oxford (July'18).

• Rodolphe Lepigre has presented his work on "Termination checking using well-founded typing derivations" at a Deducteam seminar in September 2018.

• Rodolphe Lepigre has given a talk entitled “The PML${}_2$ Language, Integrated Program Verification in ML” at the Max Planck Institute for Software Systems in Saarbrücken, in November 2018.

• Franck Slama has presented some previous work at an internal laboratory seminar of LSV in December 2017.

• François Thiré has presented his work on interoperability at the UPSCaLe seminar on March 2018, then he presented his paper [15] at the LFMT Workshop at Oxford (July'17).

• Aristomenis Papadopoulos has presented the work he did during his summer internship at a Deducteam seminar in September 2018.